Skip to content
This repository was archived by the owner on Apr 8, 2025. It is now read-only.

Reduce ci resource requirement #197

Merged
merged 1 commit into from
Nov 3, 2023
Merged

Reduce ci resource requirement #197

merged 1 commit into from
Nov 3, 2023

Conversation

johnoloughlin
Copy link
Contributor

No description provided.

Signed-off-by: John O'Loughlin <[email protected]>
@Eoghan1232 Eoghan1232 merged commit ac04f99 into master Nov 3, 2023
@johnoloughlin johnoloughlin deleted the reduce_ci_resources branch November 16, 2023 16:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants